#month.py
month="JanFebMarAprMayJanJulAugSepOctNovDec"
n=eval(input("请输入需要输入的月份（1--12）："))
if n in range(1,13):
    pos=(n-1)*3
    monthAbbrev=month[pos:pos+3]
    print("你输入的月份的简写为：{}.".format(monthAbbrev))
else:
    print("月份不对请重试！")
    

